Thanks to Abby for these notes!